Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

refactor: remove Gitpod mechanism #53

Merged
merged 6 commits into from
Mar 9, 2024
Merged

refactor: remove Gitpod mechanism #53

merged 6 commits into from
Mar 9, 2024

Conversation

AngryMaciek
Copy link
Owner

@AngryMaciek AngryMaciek commented Mar 9, 2024

Proposed changes ⤴️

Setting up demonanalysis installation on Gitpod is problematic.
Let's be real, now one will use this platform for this project anyway, remove it.

  • Minor refactoring.

Types of changes 🔧

What type of changes does your code introduce to the warlock?

  • Bugfix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation updated
  • Testing updated
  • Codebase refactoring
  • Other

Checklist ✅

If you're unsure about any of those below, ask explicitly.
This is simply a reminder of what needs to be checked before merging your code.

  • I have read the CONTRIBUTING.
  • I have performed a self-review of my own code.
  • I have added necessary documentation (if appropriate).
  • My changes generate no new warnings.
  • I have commented my code, particularly in hard-to-understand areas.

Further comments 🧠

If this is a relatively large or complex change feel free to provide additional information or explanation.

@AngryMaciek AngryMaciek self-assigned this Mar 9, 2024
@AngryMaciek AngryMaciek added the documentation Improvements or additions to documentation label Mar 9, 2024
@AngryMaciek AngryMaciek merged commit 445305a into master Mar 9, 2024
12 checks passed
@AngryMaciek AngryMaciek deleted the gitpod branch March 9, 2024 00:21
@AngryMaciek AngryMaciek restored the gitpod branch July 22, 2024 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant